Let φ be a homomorphism from a ring R to a ring S.
Then Ker φ is the ideal of R = {r ∈ R | φ(r) = 0}